$\mathrm{CLN3}=1$ $((\mathrm{MBF}=0)\land (\mathrm{YOX1}=0)\land (\mathrm{CLN3}=1))\lor ((\mathrm{MBF}=0)\land (\mathrm{YOX1}=1)\land (\mathrm{YHP1}=0)\land (\mathrm{CLN3}=1))\lor ((\mathrm{MBF}=1)\land (\mathrm{YOX1}=0))\lor ((\mathrm{MBF}=1)\land (\mathrm{YOX1}=1)\land (\mathrm{YHP1}=0))$ $(\mathrm{MBF}=1)\land (\mathrm{SBF}=1)$ $(\mathrm{MBF}=1)\land (\mathrm{SBF}=1)$ $((\mathrm{MBF}=0)\land (\mathrm{SBF}=1))\lor (\mathrm{MBF}=1)$ $(\mathrm{SBF}=1)\land (\mathrm{HCM1}=1)$ $\mathrm{SFF}=1$ $\mathrm{SFF}=1$ $((\mathrm{YOX1}=0)\land (\mathrm{ACE2}=1)\land (\mathrm{SWI5}=1))\lor ((\mathrm{YOX1}=1)\land (\mathrm{YHP1}=0)\land (\mathrm{ACE2}=1)\land (\mathrm{SWI5}=1))$